Über die formale Beschreibung räumlicher Netze
نویسنده
چکیده
Thema dieses Vortrags ist ein grundlegender Formalismus, der die räumliche Struktur und sofern vorhanden das Zeitverhalten diskreter Systeme beschreibt, d.h. von Systemen mit individuellen Komponenten. Genauer gesagt, ist der Formalismus eine formale Sprache, die in ihrem Kern das Skelett beschreibt, auf das sich alle diskreten Systeme durch Abstraktion reduzieren lassen. Umgekehrt kann das Skelett durch Einbeziehung der Eigenschaften diskreter Systeme erweitert werden. Das Ergebnis ist dann eine formale Sprache mit mehr oder weniger speziellen Eigenschaften.
منابع مشابه
Eine gemeinsame Basis zur formalen Beschreibung von Software und Hardware
Im letzten Jahr habe ich in diesem Workshop über das Thema "Über die formale Beschreibung räumlicher Netze" vorgetragen. Ein räumliches Netz, also ein Netz im dreidimensionalen Raum, erhält man, wenn man ein diskretes physikalisches System von seiner Metrik und seiner Funktionalität abstrahiert. Das übrig bleibende Skelett des Systems bildet im allgemeinen Fall ein räumliches Netz, in dem die N...
متن کاملPartner datenverarbeitender Services
Zusammenfassung Offene Netze sind eine petrinetzbasierte formale Beschreibung von Services. Zwei offene Netze sind füreinander Partner, wenn ihre Komposition aus jedem erreichbaren Zustand einen Endzustands erreichen kann. Dieser Beitrag erweitert das Konzept der offenen Netze auf High-Level Petrinetze, um die Verarbeitung von Daten in Services darzustellen. Es werden exemplarisch Partner offen...
متن کاملFormale Modellierung von Access-Control-Policies in Dynamischen Koalitionen
Das Konzept der dynamischen Koalitionen beschreibt die temporäre Vernetzung autonomer Agenten, die zum Erreichen eines übergeordneten Ziels Ressourcen und Informationen miteinander teilen. Durch moderne Technologien, etwa durch Service-orientierte Konzepte, können diese Koalitionen über jegliche Systemgrenzen hinweg eingegangen werden. Insbesondere auch im Gebiet der Medizin ist die Betrachtung...
متن کاملBeschreibung und Verifikation räumlicher und zeitlicher Eigenschaften mobiler Systeme (Specification and Verification of Spatio-Temporal Properties of Mobile Systems)
Zusammenfassung Dieser Aufsatz gibt einen Überblick über eine formale Methode zur Analyse mobiler Realzeitsysteme. Beispiele solcher Systeme sind Fahrzeugsteuerungen und mobile Roboter. Es wird eine spatio-temporale Logik entwickelt, mit der sowohl die Systeme modelliert als auch die gewünschten Eigenschaften beschrieben werden können. Für diese Logik werden die theoretischen Grundlagen wie Ent...
متن کاملErschließung des unberücksichtigten Kontexts formalisierten Wissens
„Formalisieren von Wissen“ umfasst im Gebiet der Künstlichen Intelligenz ein weites Spektrum an Tätigkeiten: Von der Formulierung logischer Axiome, über die Erstellung von Regelbasen und die automatische Programmgenerierung, bis hin zur Parameterschätzung für statistische Modelle, stets wird Wissen über einen Problembereich der automatischen Verarbeitung im Computer zugänglich gemacht. All dies...
متن کامل